双循环半群上的同余

双循环半群在逆半群的研究中起着重要的作用,对此类半群上的同余关系进行了探讨,从而得到一些重要的结论.     

完全四部图的色性

设G是一个图，P(G，λ)是G的色多项式．若P(G，λ)=P(H，λ)，则称G和H是色等价的，简单地用G～H表示．令[G]={H\H～G)．若[G]={G)，称G是色唯一的．用G=K(n1，n2，n3，n4)表示完全四部图且2≤n1≤n2≤n3≤n4，得到了[G]С{K(x，y，z，w)-S｜z y w =n1 n2 n3 n4,1≤z≤y≤z≤w≤n4-1，或1≤x≤y≤z≤n3-1和w=n4U{G}，其中S是K(x，y，z，w)的某s条边组成的集合且K(x，y，z，w)-s表示从K(x，y，z，w)中删去S中所有边得到的图．从而证明了当n≥k 2，t≥2时，K(n-k，n，n，n)是色唯一的．     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

点可迁图的限制边连通度

对于度k( ≥ 2 )的点可迁连通图的限制边连通度λ′,已知k≤λ′≤ 2k- 2 ,且λ′的界可以达到 .在此基础上 ,对度为k的点可迁图G进一步给出了满足λ′(G) =k的两个充要条件 .接着 ,对任意的连通图G0 证明了λ′(K2 ×G0 ) =min{2δ (G0 ) ,2λ′(G0 ) ,v(G0 ) }.最后证明了对任意满足 0≤s≤k- 3的整数s,存在度为k的点可迁连通图G满足λ′(G)=k s当且仅当k为奇数或者s为偶数     

LEARNING CAUSAL GRAPHS OF NONLINEAR STRUCTURAL VECTOR AUTOREGRESSIVE MODEL USING INFORMATION THEORY CRITERIA

Detection and clarification of cause-effect relationships among variables is an important problem in time series analysis. Traditional causality inference methods have a salient limitation that the model must be linear and with Gaussian noise. Although additive model regression can effectively infer the nonlinear causal relationships of additive nonlinear time series, it suffers from the limitation that contemporaneous causal relationships of variables must be linear and not always valid to test conditional independence relations. This paper provides a nonparametric method that employs both mutual information and conditional mutual information to identify causal structure of a class of nonlinear time series models, which extends the additive nonlinear times series to nonlinear structural vector autoregressive models. An algorithm is developed to learn the contemporaneous and the lagged causal relationships of variables. Simulations demonstrate the effectiveness of the nroosed method.     

Curie’s principle and causal graphs

Curie’s Principle says that any symmetry property of a cause must be found in its effect. In this article, I consider Curie’s Principle from the point of view of graphical causal models, and demonstrate that, under one definition of a symmetry transformation, the causal modeling framework does not require anything like Curie’s Principle to be true. On another definition of a symmetry transformation, the graphical causal modeling formalism does imply a version of Curie’s Principle. These results yield a better understanding of the logical landscape with respect to the relationship between Curie’s Principle and graphical causal modeling.     

m个点不交的C4的并的点可区别全染色

给出了m（m≥2）个点不交的C4的并的点可区别全色数。     

平面图3-可着色的3个充分条件

平面图3-可着色是指可用3种颜色对该图的顶点进行着色,使得相邻的顶点着不同的颜色.研究了平面图在长度不大于6的圈或长度不大于7的圈之间满足一定条件下是3-可着色的.     

Essential Independent Condition for Graphs to Be Hamiltonian

Let G be a graph of order n．For graph to be Hamiltonian,beginning with Dirac’s classic result in １９５２,Dirac’s theorem was followed by that of Ore in１９６０．In１９８４,Fan generalized Dirac’s theorem and Ore’s theorem as if G is a２-connected graph of order n and max｛d（u）,d（v）｝≥n/２for each pair of vertices u and v with d（u,v）＝２,then G is hamiltonian．In１９９１,Faudree et al proved that if G is a２-connected graph and,| N（u）∪N（v）|＋δ（G）≥n for each pair of nonadjacent vertices u,v∈V（G）,then G is hamiltonian．This paper generalizes the above onditions of Dirac,Ore,Fan and Faudree et al in the case of３-connected graph and proves that if G is a３-connected graph of order n and max｛｜N（x）∪ N（y）｜＋d（u）,｜N（w）∪N（z）｜＋d（v）｝≥n for every choice of６Essential independent vertices,then G is hamiltonian．